From: Jasper St. Pierre Date: Wed, 9 Oct 2013 22:10:01 +0000 (-0400) Subject: workspace: Adapt to mutter API changes X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~3194 X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=37c8132632f768f9bbea005bdcaf1778a47664bc;p=gnome-shell.git workspace: Adapt to mutter API changes --- diff --git a/js/ui/workspace.js b/js/ui/workspace.js index 75683ba65..7bd153bee 100644 --- a/js/ui/workspace.js +++ b/js/ui/workspace.js @@ -1621,9 +1621,7 @@ const Workspace = new Lang.Class({ metaWindow.move_to_monitor(this.monitorIndex); let index = this.metaWorkspace ? this.metaWorkspace.index() : global.screen.get_active_workspace_index(); - metaWindow.change_workspace_by_index(index, - false, // don't create workspace - time); + metaWindow.change_workspace_by_index(index, false); return true; } else if (source.shellWorkspaceLaunch) { source.shellWorkspaceLaunch({ workspace: this.metaWorkspace ? this.metaWorkspace.index() : -1, diff --git a/js/ui/workspaceThumbnail.js b/js/ui/workspaceThumbnail.js index 210445bc4..9dbc1afda 100644 --- a/js/ui/workspaceThumbnail.js +++ b/js/ui/workspaceThumbnail.js @@ -507,9 +507,7 @@ const WorkspaceThumbnail = new Lang.Class({ if (metaWindow.get_monitor() != this.monitorIndex) metaWindow.move_to_monitor(this.monitorIndex); - metaWindow.change_workspace_by_index(this.metaWorkspace.index(), - false, // don't create workspace - time); + metaWindow.change_workspace_by_index(this.metaWorkspace.index(), false); return true; } else if (source.shellWorkspaceLaunch) { source.shellWorkspaceLaunch({ workspace: this.metaWorkspace ? this.metaWorkspace.index() : -1, @@ -739,14 +737,12 @@ const ThumbnailsBox = new Lang.Class({ // ... move them down one. windows.forEach(function(win) { - win.meta_window.change_workspace_by_index(win.get_workspace() + 1, - true, time); + win.meta_window.change_workspace_by_index(win.get_workspace() + 1, true); }); if (isWindow) // ... and bam, a workspace, good as new. - source.metaWindow.change_workspace_by_index(newWorkspaceIndex, - true, time); + source.metaWindow.change_workspace_by_index(newWorkspaceIndex, true); else if (source.shellWorkspaceLaunch) { source.shellWorkspaceLaunch({ workspace: newWorkspaceIndex, timestamp: time });